1. .....................
پدیدآورنده: Engeler, Erwin
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Sequential machine theory,، Recursive functions,، Formal languages
رده :
QA
267
.
5
.
S4
E53
2. Automata, languages, and machines
پدیدآورنده: Eilenberg, Samuel
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
3
.
P8
vol
.
59
3. Automata, languages, and machines.
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Sequential machine theory. ; Formal languages. ;
4. Automata, languages, and machines
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Sequential machine theory.,Formal languages.,Machine theory.
5. Automata, languages, and machines.
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal languages.,Sequential machine theory.
رده :
QA3
.
P8
v
.
59
6. Automata, languages, and machines
پدیدآورنده: Eilenberg, Samuel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
3
.
P8
v
.
59
7. Automata, languages, and machines
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Sequential machine theory,Formal languages,Automata
رده :
QA3
.
P8
8. Automata, languages, and machines
پدیدآورنده: Eilenberg, Samuel
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4E56
9. Automata languages, and machines
پدیدآورنده: / Samuel Eilenberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Sequential machine theory,Formal languages,Automata
رده :
629
.
891
E34a
10. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده: edited by Arto Salomaa and Magnus Steinby
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
11. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
12. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده: edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
13. Automata-theoretic aspects of formal power series
پدیدآورنده: Salomaa, Arto, 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
14. Combinatorics on traces
پدیدآورنده: Diekert, Volker
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
267
.
5
.
S4
.
D54
1990
15. Combinatorics on traces
پدیدآورنده: Diekert, Volker, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Sequential machine theory,، Formal languages
رده :
QA
76
.
L28
Vol
.
454
16. Definition of programming languages by interpreting automata
پدیدآورنده : Ollongren, Alexander.
موضوع : ، Programming languages )Electronic computers(,، Formal languages,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
17. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Mathematical foundations of computer science
پدیدآورنده: edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
19. Mathematical foundations of computer science
پدیدآورنده: Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
20. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده: edited by P. Dembinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88